U (b a):b
a
